fix name of SOAPdenovo2 patch file