get devel/setup.sh sourced!