some fixes for pharo3 bootstrap