qnighy/proofline0 not found