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