fix missing typename for gcc