Work around build problem using mpide 0023-windows-20130715.
It is not clear if this is the correct solution to the problem or not.