#9254: prevent compiler warnings