# Targets for final binaries; the main one has a build number which is
# updated each time. We don't bother with that for the auxiliaries.
# Targets for final binaries; the main one has a build number which is
# updated each time. We don't bother with that for the auxiliaries.