Bugfix of getExecutionDirectory() (fixes #1)