Add refold
Use refold in compilation