travis: attempt to use g++-47