Fix mirage build and removal