Commit 02ca3a5 broke Linux compile

Thanks to Enrico Sorichetti for the correction.