Add a few Keetab-specific libraries and monkey patches