Improved leonardoLoader (now uses stderr instead of stdout).