Use actual extensions