makefile: update devnum