Removing some auxialiary (and unnecessary) files