push fix for old gcc ~ 4.7.2