attempt #3 at fixing Travis CI bug