useDevel fix for travis-ci