GHC Android build inside docker container