Made sequencing header files public