stupid .aux and stuff