Disable ARINC extensions for now