Use consistent naming for OS-specific file.

Add stronger (possibly unecessary) include guards, just to be safe.