Renamed test_real_lustre to the more appropriate benchmark