(PUP-620) Default value spec for install_options