remove the holonomic module (too experimental for now; not used anywhere)