a probable bugfix for travis-ci.org testing