Tech firms: We’re trying to make our sites hostile to terrorists