Workaround for DMD bug 12316.