Make PlatformInfo.read_file public. Fixes issue #841.