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.
