fix broken static library generation