Fix patch filename extension