Fix mirage build and removal
Merge pull request #1393 from samoht/master

Fix mirage build and removal