Compiled files on Debian 7 and g++ (gcc 4.7.2)