- files in local directories (saves & configs) now always have higher

priority than mods. Fixes #1685 and #1733
- fixed possible crash on exit in dispose() function
- (vcmibuilder) fixes problem with partial mp3 -> ogg conversion

vcmibuilder

@@ -273,7 +273,7 @@ then
 	OIFS="$IFS"
 	IFS=$'\n' 
 
-	for file in `find "$dest_dir" -type f -name "*.mp3"`
+	for file in `find "$dest_dir" -type f -iname "*.mp3"`
 	do
 		echo "Converting $file"
 		ogg=${file%.*}