@tarruda: Can you push something like this to travis and check the output?