deb is still 2.4.0, but once installed you can go into the menu -> updates and switch to 2.4.0_1 which works fine.
Ah, wonderful. Thanks for the tip.
