Assign "user_defined" value properly for downloaded Gecko codes.

Fixes Issue 7156.