Adjust to latest version of devtools.

Flags are disappearing en masse from devtools' tools.

Signed-off-by: Magnus Therning <magnus@therning.org>