Removed some old traces of XAMPP. These files aren't really used anymore, so an eventual cleanup will remove the remnant batch files entirely. Until then...