fix a bug in mkDmaServer2BRAM and StrStr