Fix the build instructions (fixes #855)