basic GCC plugins