[Fix #32] Workaround to fix Travis CI issue.