Now compile on rustc version 0.12