Fix linker error against WxWidgets for the nogui executable