Convert given port-file option to a file.