Fixing build for HAL extensions