Fine, just stick with the `get_high_resolution_filename` then.