Travis CI is still on Ubuntu 12.04 :(