core_ext: remove unnecessary extension

Signed-off-by: Pierre-Alexandre Meyer <pierre@mouraf.org>