Update build documentation to fix #1.