switch 4.00.1+short-types to a more stable version of the patch