Fix #908: allow lazy-compiling from several threads at once