Fix the double build on android.

[EDeijl]

For some weird reason the android build only works if it is done twice
once with ghc-options: -shared and once with ghc-options: -optl-shared and cc-options: -shared and ld-options: -shared

This makes the build script pretty fragile with a sed replacing the affected lines on every build.