Fix developer_install_linux.sh