Restore compatibility with 4.02

Please also cut a release; right now, pretty much all ppx-related packages will fail to install.