Debugging linux compilation problem from github