add leuven theme back to package list