hack to travis script worked: more of that