-- update samtools interface and improve glpk interface