fix linux path in platform-info.js