Set the GATE minimal version to 8.1. This should really be build number
18142 but using build numbers is not supported.