Re: [galaxy-dev] [galaxy-bugs] Galaxy tool error report from m.p.villerius@lumc.nl