|| die "Cannot copy $file to Makefile: $!";