put compiled miniPy