test system: rename ramsey.mod as ramsey_.mod to avoid removal of ramsey directory when doing make clean