Fix a rather stupid bug
use ext