fix build (follows 0e7b60e)

I'm sorry that my commit (618ffa0) caused build errors. Today I tested to build in Ubuntu, and then I knew an additional fix is necessary.

Regards