I guess for completeness you should probably have HOSTX defined in this too.