Fix build of v0.5.2