openmax: build with GCC for now