Update development-debian-platform.sh