s3:configure: don't throw away PRINT_LIBS