sig val install_dir : string end