fix Agda executable renaming