Makefile, setup.ml: don't delete manual part

Fix requested in comment on commit
e1288c1d7a21e572f679183318e19d0d5e52f2cb.