fix file inclusion problem in linux g++