https://blog.droidzone.in/2017/09/07/how-to-search-for-and-install-missing-header-files-on-linux/