Fixing travis CI config