Fixing MichelMake stuff...