Fix ibexmain.js