/dev/nsis/
../
coq.nsi