push the used libs for convenience
(cherry picked from commit 92fb76f)