Use better version string for travis