travis: use prebuilt sfml