debian: Update to 7.3