You're not supposed to do this, but you can put the content of the standard library into the ...\lib\prim folder (which contains .\Agda\Primitive.agda).