Update lulesh-main.adb