Include gui.js