added a include to ie.php