add a few libraries