Makefile: switch from shell expansion to explicitly listing installed files