file extensions for scripts