updating deheader mirror to 0.7 released 2013-01-22