astllc/production: links for micropython-filecmp