Issue#182: fix travis errors