This file was introduced by a race condition with the ticket system. There is a new one in the Doxygen folder.