Update jppc-exec.slax