Don't bother with global Agda for now
Fix locate setting to use extraFlags