#222: os_match.c should use do_isfile()