make it compatible with latest camlp4
make it compatible with latest camlp4

Ignore-this: fadc3773be3b8217840f15b160487068

darcs-hash:20101223082925-c41ad-14ccc6b4bb8522023ccd94d20b30dc88ba5c2f49

diml/optcomp