added better target for libext.a