Assign "user_defined" value properly for downloaded Gecko codes.