+ add missing file for 'embed python console'