(and note that the `linux` tag there is somewhat imprecise -- you can assume that this runs on Ubuntu Precise as that's all that Travis uses at the moment)