so that the 4.02 fix can go to opam

Original issue reported on code.google.com by ygrekheretix on 16 Dec 2014 at 9:48