IntGen: Attempt at fixing Linux compilation.