Always include mr.vcsh in all check outs