TopHat2 patches, which fixes several Segmentation faults