Finally accepted by KATTIS. :)