bugfix php cli server command