travis doesn't seem to support 7.1 yet