fba core: use gcc 4.5