I am such a noob.
Edit: For anyone else: You need to rename dist-configure.php, or just start the installation and they'll be created.
Forum Rules