Fixing Travis configuration file filename.