Implement swift_get_file on top of swift_get.