fix devel pull and update version