don't build other extensions