Fix the stubbing of the install_options feature

As recommended by @adrienthebo