Re: [galaxy-user] problems with TOPHAT in Galaxy