Added new library camlprime.0.5