ls-compile-toplevel bypasses toplevel progns