more concise version of HTTP FILE SERVER