Revert "Remove make check from Travis config"

This reverts commit cb9cf3a4cefb7d5ca667749dbd18e048bfa0bb3c.
The make check problem has been fixed since then