Links for micropython-zipimport