Fixed: building in linux system after 1e158fa652897aa22eb8817223f240daa183156b commit

Hi,

Building in linux broke after the after 1e158fa652897aa22eb8817223f240daa183156b commit.
This patch fixes it.

Yannis