2012-12-27 update to sixsort