peggin compilation