Hello. The tools like Tophat, Bowtie etc are pre-installed in Galaxy. Are those tools must be installed in order to work in Galaxy. For example: I am using Debian machine(Don't have tophat and bowtie installed). Will tophat and bowtie work in my local galaxy? Thanks