Produce debugging info by default
supercop-20140425 + updated do-one-primitive