Small fixes to test failures due to trivial things, like proper micro-pl...

...atform setup.