slight correctoins to the documentation for building on Ubuntu-based systems