Adjust Travis configuration file.