Changed may to must in the FPT_TUD_EXT.1.4 requirement.