Silly fix in the build script for android