removed pdf-tools-0.40 directory