/ide/MacOS/
../
Info.plist.template
coqfile.icns
coqide.icns
default_accel_map