compilation fixes #333