Agda renamed the FOL pragma options.