Fix compilation on Linux: two missing headers