Travis: do the default target