temporarily set num_build_threads=1, as multithreaded builds seem to be failing as of r36470