I need more space on the hard drive. There are 2 DUMP (dmp) files over 2 gigs. Created over 1 year ago. Can I safely delete them?