Bump archimedes version up to 2.4.0.