update for mirage/mirage-platform#44