add a comment at some code which looks like nonsense but is a -fshort-enums fix (by bjh21)
first. This is necessary to avoid warnings with -fshort-enums. Casting to an int really should be enough, but turns out not to be. This change will be documented in doc/HACKS.