Add missing standard headers. Patch by Joerg Sonnenberger!