Cranial reconstruction after a post-craniotomy empyema.