Hack to make TravisCI happy