fix the older mirage libraries with upper bounds
Merge pull request #2081 from avsm/fix-mirage-old-libs

fix the older mirage libraries with upper bounds