slightly modified headers to work with bystroTeX 6.4