Linux platform adjustments
- static libgcc
- no RELWITHDEBINFO for gcc
- debug with -ggdb3