id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3210	Wrong FMI binaries directory under Linux again	Rüdiger Franke	Martin Sjölund	"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	closed	high	1.9.2	FMI	trunk	fixed		Martin Sjölund