Fix compilation under Linux (issue #450)