Hmm, my mistake. I seem to remember the default path pointing to $scriptdir and not $mircdir, whenever a script existed outside of $mircdir. But it doesn't, so I remembered wrong.
Omit $mircdir all you want.
Well. At least I won lunch. Good philosophy, see good in bad, I like!
