Revert "Revert libs (w/o libFrank.a)."

This reverts commit 53399f24e135343335e6c9cf95552e2798568006.