https://tutorial-idris.blogspot.com/2018/09/chou-build-guide-tips-and-trick-mobile.html