Remove the mirage libs, as they are no longer used in this repository
fix conflicts