Sync with fink-mirrors-0.37.1.1