closed #4410: add include files