Issue #135: enable pharo4.0 and test