--- /usr/bin/mount.crypt	2006-01-01 20:52:21.000000000 +0100
+++ /home/addons/usr/bin/mount.crypt	2006-01-05 02:10:46.000000000 +0100
@@ -53,7 +53,7 @@
 	exit 1
 }
 
-DEVICE="$1";
+DEVICE=$(readlink -f "$1");
 MOUNT_POINT="$2";
 shift 2;