Stop using the patched microlib