fix build on nightly (2014-12-12). fixes #43