Combined the elevator FSMs to a single file.