Fix the requiring of util.js