[Bug 400481] Libmicro does not run out of the Box