Make ubuntu happy