built-in PHP server, not functional yet