bowtie: updated version to 0.12.9