PHP : Untrusted HTTP_HOST source