1) Some small changes to the build tools in order to support Ubuntu rather than Fedora