Replace obsolete syntax

Follow rustc 0.11.0-pre (e6c54a12c4d209de9f438b4722657ca381f969a2 2014-07-03 03:41:39 +0000)