changes to filenames and program calls to make servlet run on linux