Fix build with 0.10