bring to compat with rustc 0.10-pre 4176343