Some hacks to make libstp.a actually contain the symbols we want!