Error: Error: path (="elevator_transit.png") must start with "elevator_model.sagews"