The xref command relies on compilation having taken place