Pike 8.0 RC1

It immediately starts with:

| $ make 2>&1 | tee makelog2 | | Configure arguments: | Use `make CONFIGUREARGS="..." ...' to change them. | They will be retained in the build directory. | | Making all in build/linux-3.12.22+-armv6l | ./precompile.sh --cache make_interpret_functions.pike >"/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h" "/home/pi/Pike-v8.0.10/src/interpret_functions.h" || { rm "/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h"; exit 1; } | /bin/sh: 1: cannot create /home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h: Permission denied | rm: remove write-protected regular file `/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h'?

(I put chattr +i on it.)