Add a hack to keep FFI symbols in optimized binary