deleted #installation_instructions.Ubuntu_13.04#