fixes for mirage types 0.5.0