add camlp5.6.12