diff --git a/tools/rc.local.sh b/tools/rc.local.sh
index 425174736454b3055d9bffdf706cbf6350fff130..cb40d388691ce58ceff3fd3e399f13702982727d 100755
--- a/tools/rc.local.sh
+++ b/tools/rc.local.sh
@@ -57,7 +57,7 @@ done
 # Try to find mindstorms.dir directory (also on boot medium)
 if ! mountpoint -q /home/mindstorms/work; then
 	echo "Looking for mindstorms.dir directory (also on boot medium) ..."
-	for DIR in /cdrom/mindstorms.dir /mnt/localfs/*/mindstorms.dir; do
+	for DIR in /cdrom/mindstorms.dir  /isodevice/mindstorms.dir /mnt/localfs/*/mindstorms.dir; do
 		MOUNTPOINT="${DIR%/*}"
 		[ -d "$DIR" ] || continue
 		echo "Found mindstorms.dir at ${DIR}. Re-mounting as writable ..."