Attempt to fix MnSymbols incompatibility