Remove static library; it's a separate github project now