src/tostring: use an array instead of a switch for script names