make sure we use 13.0 profile