Fix for encoding problem in Travis