Upgrade Glift to 0.18.(