Test changing the required version of hal (should make no difference)