Modify welcome message for tkbctf4.