The "stdlib" test is known to fail at the moment