On Apr 17, 2015, at 12:11 AM, Cormac O'Brien wrote:

The current version is 4.9.2; your version looks to be about three years old.

I think that could be the problem. If it is, then maybe we should document that a certain version of gcc is required to build OpenBIOS.