> Um, arabtex is in optional. So it's really a moot point. Wow. The control file got overridden. My mistake.