fix travis

For not obvious reasons, I'm unable to export a bash function to dash