debian: Update to 7.4