Fix irc start script to use .php extension