get rid of a few GCC >= 4.8 warnings