Fix compile_glbrush.py minor bugs