Fix GCC compilation of vector types