clarification of GCC version no.
Merge branches 'dev' and 'master'