shorter wget commands