DrPython now launches without a plugins directory.
The plugins.dat problem is fixed too.