Change distribution name in debian/changelog.

This is for ubuntu precise, yay!