debugging stuff + fix a dangerous List.hd
TODO: find why Simple_Andrex_RPX_auth.txt -> true