Re #10784. Correct install_prefix.