testing/Makefile
mpp_actions.ml: bug fix (bug not present in previous snapshot)