fix .gitmodules entry for bdd appendix