int boinc_resolve_filename(const char *logical_name, char *physical_name, int len);
int boinc_resolve_filename_s(const char *virtual_name, std::string &physical_name);