Bad destination directory for tls.* files in getting_started