Fix travis build (Fixes #594)