Trying out RedLaser binaries with Mono for android