Machinecoin: Changed the names of some files