attempted fix of travis-ci