fixing typo in os_tools.js