output util.js once (fixes #3595)

output util.js once (fixes #3595)