use variable for patch filename

So we only have to change one place if we want to alter the patch
filename in the future.