For travis-ci to work