Null-pointer cleanup in extopts header