Bring des_locl.h at the same level as in the 0.9.7 branch.