fix config file (Travis-CI)