change names in makefile to correspond to the bitfile generated from vivado