Fix gprbuild. No need to prefix the path to main.adb.