use distfiles dropin for source

The source URL gives a different binary each time