[PATCH] Add static lib to -dev .deb package