updated Makefile.ubuntu with hasufell's patch