pho_file: allow consecutive whitespace characters