Now it works under Ubuntu 13.04 with gcc 4.7.3