Fixed travis CI config