correct names for binaries