Use correct file for Travis