This hopefully fixes travis