fix some issues for deb packaging