Fix bug that left the TeX version of problemPostamble undefined.

Fix bug that left definition of problemPostamble undefined in tex mode.