Remove useless specifications.txt file