github: forgot to move stdlib->core for git