r13697: Remove unneeded header (header not present on all Linux either) for umount...