Bugfix for compilation without microblx.