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 r23802). Now I'm getting again the directory
  binaries/x86_64-pc-linux
instead of linux64 under Ubuntu. Is this related to r24780?"	defect	new	high	1.9.2	FMI	trunk			Martin Sjölund