We don't include "-DCMAKE_BUILD_TYPE=Release" in the commands in our main install guide; let's include it.