Fix name of binaries in released archives