dbexec made executable too, during make stage.  (Useful for ``make update-v0.x.y-tables'' commands.)
dbexec made executable too, during make stage.  (Useful for ``make
update-v0.x.y-tables'' commands.)

tiborsimko/invenio,inveniosoftware/invenio,tiborsimko/invenio,inveniosoftware/invenio