Linux64 mulet build

I am not sure we should use tooltool but that is a bigger discussion