fix a makefile issue
add a missing file