Update to hopefully fix busted TravisCI