Update DISA to be internationalized (bug #2284)