Change Android release flags from -O3 to -Ofast