Rename hall efect sensor to hall_efect_sensor.txt