maybe.h: Fix Travis failures