travis-ci: fix for cmake