default vagrant phpbb devbox