avoid gcc warning (which is part of -Wall since 4.8.0)