Travis-ci: modifications to compile double and single.