1403: compensate gcc 4.8.1 optimizer bug (test-klib failure)