bring to compat with rustc 0.9-pre e0c01ca