Why do you need ERRNO.py? Is stdlib errno.py excluded from IronPython?