fixes for travis-ci building