added a few libraries