Small bugfixes; also, add a new machine to the remote executor pool.