Appease fussy gcc 4.8.2 in Ubuntu 14.04