Stay with is_file, there is no better replacement