only build on GCC for now