Use 0.7.2.20141025.0948 of ethereum-core