build and install fixes on ubuntu gnu/linux