Temporary pull-request to test out a travis.ci yml tweak