modifying lock file for travis