http/headers: use new defrecordp