Update lulesh-init.ads