initial update to rust 0.12-pre