diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 3f6ce1f69b319e0f60f3385c080bee75ca7fda62..1a1e0f51b549a7ed0724c93bac2193182d6dc62a 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -1,6 +1,5 @@
 package de.tla2bAst;
 
-import java.io.BufferedOutputStream;
 import java.io.BufferedReader;
 import java.io.BufferedWriter;
 import java.io.File;
@@ -9,7 +8,6 @@ import java.io.FileOutputStream;
 import java.io.FileReader;
 import java.io.IOException;
 import java.io.OutputStreamWriter;
-import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.io.UnsupportedEncodingException;
 import java.util.Date;
@@ -87,6 +85,12 @@ public class Translator implements TranslationGlobals {
 			throw new RuntimeException("Can not find module file: '"
 					+ moduleFileName + "'");
 		}
+		try {
+			moduleFile = moduleFile.getCanonicalFile();
+		} catch (IOException e) {
+			throw new RuntimeException("Can not access module file: '"
+					+ moduleFileName + "'");
+		}
 	}
 
 	// Used for Testing