fix bug in extension installation