File a bug for fixing this workaround.