Print file and line number in VERIFY_* messages