update to protagonist v0.5.7