added html4_normalize_path to options