proof-general: use ARGV.value