fix the older mirage libraries with upper bounds