Fixing travis (hopefully)