[global]
pub2wxcflag = 9144802