Fix defpackage declaration in tool template.