updated and fixed WFK 2.4.0 versions

This what we will use in WFK2.4.0.ER1