travis: double slash?