update version BasicTex to 20140807

Fixes #5813

Hope I followed the guidelines correctly.