Rename bin files, easier packaging.