update makefile for older systems

The gcc `-Wdouble-promotion` option is quite recent. Some older versions
of gcc (such as the version found on Ubuntu 10.04 LTS, which is still
widely used on servers) do not support it.
fix warnings