Using GCC libraries