try adding Pharo4 to travis