Fix arena header files