Change theme to trevelin breaks installation

Changing the theme from dressprow to trevelin on a new installation breaks the installation. Now all pages show “404”.

How does one fix this? There is no relevant setting in config.php.