Do not try to rename rpi-images; we do not build them

builder.sh

@@ -170,9 +170,6 @@ echo Shortening filenames
 # rename files to match the ffbs-naming conventions
 # TODO: give explanation or further resources
 echo Renaming files for consistent naming scheme
-(cd output/${RELEASETAG}/factory; for f in *raspberry-pi.img.gz; do mv "$f" "${f/raspberry-pi.img.gz/raspberry-pi-1.img.gz}"; done ) || true
-(cd output/${RELEASETAG}/factory; for f in *raspberry-pi-2.img.gz; do cp "$f" "${f/raspberry-pi-2.img.gz/raspberry-pi-3.img.gz}"; done ) || true
-
 (cd output/${RELEASETAG}/factory; for f in *x86-64.vmdk; do mv "$f" "${f/.vmdk/-vmware.vmdk}"; done ) || true
 (cd output/${RELEASETAG}/factory; for f in *x86-64.vdi; do mv "$f" "${f/.vdi/-virtualbox.vdi}"; done ) || true
 (cd output/${RELEASETAG}/factory; for f in *x86-64.img.gz; do mv "$f" "${f/.img.gz/-generic.img.gz}"; done ) || true