Avoid double inclusion of global.js Fixes #80