patches to run on ubuntu linux