Revert "removed antiquated libraries"

This reverts commit ffc4f632e522e00ab19086d4cdee19d9e79296ae.
revert conflicted push