workaround for dmd bug #12089