don't treat numeric port strings as servent records in getservby*()