Use /proper/ web server on correct platforms.