push the used libs for convenience