Renamed mico32 to lm32 in tests.