Fix path for external calls to gnot