server: remove unused file