now requires gcc4.8.1