No, I would just replace ``DOS prompt:`` with ``MSYS shell:`` here.