Fix accidental removal of lib