update file for travis CI