hack to get travis working...