Fixed up configurations for compiling (was failing in ARM)