fix include bug #39