move kore to kompile