Fixing Travis setup