updating devel to v1.5