Thanks for your quick reaction. Yes, that's bad and not the way it supposed to be.
I just removed the buggy upgrade and will replace it soon with a working one.
I hope you can get back your original index.php somehow?
UPDATE: The new and proper working upgrade file is named xampp-linux-upgrade-1.7.0-1.7.1.tar.gz.