Makefile fiddling, split off rocks_test.ml