Simplify export options, fix travis