--with-tachyon, same as above.