Remove space in patch filename

This way it is easier to apply