Use  instead of file64 for binary name.