#11: add 'devel' submodule