travis: remove needless "$"...