compilation on linux (gcc 4.7.3)w