Makefile: update scripts when build-time parameters change