yet another attempt to fix the Travis CI build...