Modify ofchecker script to show file name and line numbers, if possible