Rename pool.php to Pool.php