Possible bug in deploying additional .so