i'd say so too
it is possible to overjump the first roof though, between checkpoint 6 and 7
i've had runs that were over a second faster than what i have now (54.262) lost to that
there is not much of a workaround if you make it any taller, you will over jump the second part
Maybe make it so you take the first jump on from the brown ramp earlier?