Fix Coin with gcc 4.7
fix Coin-dependent ports