Issue #72: enable Pharo4.0