Tweaks to build system and documentation