Fix configuration for travis build