[CHANGE] updated to 1.2.4p5; [CHANGE] use latest debian for kitchen; [CHANGE] version bump;