Make user.js work on Windows. Not sure why.