Work around the fact that /src/style.php depends on a logged in user, thus breaking...