Merged r11045:11059 from jcorgan/deb into trunk. Updates on Ubuntu binary packaging...