let the "make devbuild" script compatible with both Mac/BSD and GNU/Linux