Improvements related to the server search path (you need to pass it as
an argument now).
Bug: server stops when file not found.