Formula for new version of ARGoS3 (3.0.0-beta25)