fixed missing symbol in formtest.so (hunting for hours)