removed potentially unused file in top-level