Merge pull request #705 from pcercuei/lightrec-disable-threaded-compiler