Adaptations for GCC toolchain