moved defs.tex back to base dir