fixes travis prove command