Arena 0.95 is obsolete

You should upgrade to the latest prerelease.

Dave, Håkon, Henrik, Phill
arena@info.cern.ch