Changed a hack to a more cross-platform hack
Changed a hack to a more cross-platform hack

diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/repg,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/repg