Bump hatex to 3.15.0.0