Revert "removed gcc-4.2 dependency"

This reverts commit 83898af48ff9a4ed9db061e8a0d2c3fbced4fc58.