openmax: build with gcc for now