fix build (follows 0e7b60e)
Merge pull request #739 from minorua/fixbld

fix build (follows 0e7b60e)