build,travis: fix SDK filename