Converting ethanol into butanol