Further android fixes

Hi, this set doesn't warrant a rerelase.
The first two clean up the code a little by checking in configure, and the third is a proposed workaround for #17. Maybe there are better solutions to both.