Remove all traces of switching in the code. Mirage do not involve compiler switches anymore. Fix #6.