fix whitespace in ascii art
Use debian75-x64 with PHP 5.4 as default box