v0.7.1 compilation bug fix