.so's can be built form external/badvpn source project, but we haven't integrated them in Makefile yet