Some changes to get gcc-explorer working for me

Trying to get gcc-explorer working on my Ubuntu 14.04 laptop, using Android NDK.