Hostname not set correctly with PHP 5.6

[NickdeK]

Precondition:

1. Magento 1.* installation
2. Config.rb like following:

   name 'totalplants'
   hostname name + '.box'
   domains %w(www.totalplants.box)
   profiler true
   developer true
   directory 'server'
   php7 false
   magento2 false
   cpu 2
   memory 2048
   unison_host '../src'
   unison_guest 'public'
   varnish false

Steps to reproduce:

1. Setup vagrant installation with above config file
2. Run vagrant up
3. Add key to known hosts
4. Run ssh app@totalplants.box

Expected result: SSH connection with box

Actual result: No connection ssh: connect to host totalplants.box port 22: Operation timed out

Other information If you run hostname when using vagrant ssh you can see the hostname is set without the .box extension, seems like the hostname variable is ignored with the php56 box?

[NickdeK]

This had nothing to do with php56, after a restart of my computer I could SSH again into the machine like it should...