Missed pushing WXExtensions.hs last time. Oops! Pushing again