Use standard tls-gen file names