change to re.split for debian