Fix .so file generation error introduced lately