diff -r df823a1024fa -r 614c63dfb798 PluginManager/PluginInstallDialog.py --- a/PluginManager/PluginInstallDialog.py Wed Aug 21 19:49:48 2013 +0200 +++ b/PluginManager/PluginInstallDialog.py Fri Aug 23 09:49:07 2013 +0200 @@ -441,7 +441,8 @@ # now compile the plugins if doCompile: - compileall.compile_dir(destination, quiet=True) + compileall.compile_dir(os.path.join(destination, packageName), quiet=True) + compileall.compile_file(os.path.join(destination, pluginFileName), quiet=True) if not self.__external: # now load and activate the plugin