Do not sell distfile
