Merge branch 'master' into debian; correcting fragment ranges to be 64-bit.