Bugfix: Sometimes failed on nonexisting .aux file.