another tweak to get this working on travis-ci