micropython-git version 20140713 / release 1