Rename specification file.