Adding php_extension mysql to Boxfile