Update debian package and build.xml patches