Also, if we do this, the ```build_ev3dev_setup``` file can go away as it is really not needed.