Added some debug cout for linux