Fixed travis CI... I guess