Version 1.0.7 (fixes for camlp4 4.01)