Added a deb for bug #7463.
Another tweak for bug #7463.
Changed the version to rc3