fix to be able to execute gitk with amp.