Use refold in compilation