compilation fixes #367