Removed unneeded files generated by SPIN