No theme.php for the minimal sample theme