don't depend on checked out sources of mr.* by default