turn off debugging by default in "grub-opencl" format