fix deadlock (read in highlighter, then stop and wait for make end, make waits for write lock)