Explicitly set the file names in Makefile for install