Changed to gcc 4.9.0 (no clang needed anymore); Minor improvements