remove_dir_if_exists "/usr/local/include/WITCH" remove_dir_if_exists "/usr/local/include/BCOL" remove_dir_if_exists "/usr/local/include/BLL" remove_dir_if_exists ...