id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3210	Wrong FMI binearies directory under Linux again	Rüdiger Franke	Adeel Asghar	"This error was already present last year. Then it was fixed (I think in #23802). Now I'm getting again the directory
  binaries/x86_64-pc-linux
instead of linux64 under Ubuntu. Is this related to #24780?"	defect	new	high	1.9.2	FMI	trunk