changed interface for leak checks on Travis