[patch] add missing .so files to debian packaging