fix problem in option handling in install_if_modified.