bugfix for war with Linux g++-4.7 (win?)