Put an effectively empty timing.sh back to prevent error No such file or directory