Rename file for travis