Try fixing Travis configuration file