ext/: Silenced "initialization makes integer from pointer without a cast" (GCC 4.7.3).