change the version constraint for camlp4-system

Fix #2873