Script now compiles document as many times as needed, until .aux stops changing.