Also add a mapping for DVB_Duplicate().