No longer test 4.00.1, since mirage-dev is 4.01+ only