workaround missing header