added new htslib header