Fix incorrect filename in leap_test