errorinred now checks for platforms using OSTYPE