diff --git a/dot/bashrc b/dot/bashrc
index 13c5ce6..ba40228 100644
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -15,7 +15,10 @@ if [ -d ~/android-studio ]; then
 fi
 
 # Marben ASN.1 compiler
-if [ -d /opt/marben/asnsdk/TCE-C_V61/Compiler ]; then
+if [ -d /opt/marben/asnsdk/TCE-C_V80 ]; then
+  export ASNSDK_TCE_DIR=/opt/marben/asnsdk/TCE-C_V80/Compiler
+  export PATH=$ASNSDK_TCE_DIR/bin:$PATH
+elif [ -d /opt/marben/asnsdk/TCE-C_V61 ]; then
   export ASNSDK_TCE_DIR=/opt/marben/asnsdk/TCE-C_V61/Compiler
   export PATH=$PATH:$ASNSDK_TCE_DIR/bin
 fi