Travis configuration adjusted