bring to compat with rustc 0.11-pre b5d6b07