Actually add benchmark files