removed -fshort-double for ARM - it screwed up processing, too