cleanup in the docs regarding build; fixes #36