camlzip 1.05: fix patch