Corrections for Linux compilation of MonaCore