Update mysql patch due to changes of default hsqldb url