Delete riba-prototype.sh