[galaxy-user] question about samtools in Galaxy