Rerun lint when file was reloaded with modification by another process