Dummy configure for Travis-CI