fixed missing file from linux makefile